The continuous demand for ever more complex software systems and the emergence of new computing platforms pose significant challenges for the reliability and security of software applications. The research of the Software Reliability Group (SRG) at Imperial College London focuses on designing novel techniques for improving the quality and dependability of software, with an emphasis on building practical tools for automatically finding software bugs, generating high-quality test suites, verifying the absence of certain types of bugs, and allowing applications to survive critical errors. Our research spans the areas of software engineering, software testing, computer systems and computer security, and has been generously sponsored over the years by the UK Engineering and Physical Sciences Research Council (EPSRC), the European Research Council (ERC), DSO, Google, Microsoft Research and Arm.
Generating and Contributing Test Cases for C Libraries from Client Code: A Case Study
Ahmed Zaki, Arindam Sharma, Cristian Cadar
IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER 2025)
Grammar Mutation for Testing Input Parsers
Bachir Bendrissou, Cristian Cadar, Alastair Donaldson
ACM Transactions on Software Engineering and Methodology (TOSEM 2025)
Software Security Analysis in 2030 and Beyond: A Research Roadmap
Marcel Böhme, Eric Bodden, Tevfik Bultan, Cristian Cadar, Yang Liu, Giuseppe Scanniello
ACM Transactions on Software Engineering and Methodology (TOSEM 2025)
Sparse Symbolic Loop Execution (Registered Report)
Frank Busse, Martin Nowack, Cristian Cadar
International Fuzzing Workshop (FUZZING 2024)
Effective Fuzzing within CI/CD Pipelines (Registered Report)
Arindam Sharma, Cristian Cadar, Jonathan Metzman
International Fuzzing Workshop (FUZZING 2024)
Ibrahim M. ElSayed, Lacework
Friday, August 2nd, 2024, 11:00 amJeff Huang, Texas A&M University
Tuesday, May 21st, 2024, 11:00 am